Standpoint Theories Reconsidered

The Suslin operator in applicative theories reconsidered

The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoretic strength has been analyzed in Jäger and Strahm [18]. This article provides a more direct approach to the computation of the upper bounds in question. Several theories featuring the Suslin operator are embedded into ...

Multicollinearity Reconsidered

In this paper we intend to improve the explanatory power of regressions when the deletion method is used for the remedy of Multicolinearity. If one deletes the variable (s) that is (are) responsible for Multicolinearity, he loses some information that is not common between the deleted variable (s) and the other remaining variables in the regression. To improve this method, we run the deleted va...

The role of electrophysiology in informing theories of word production : a critical standpoint

Reportrapport Declarative Interpretations Reconsidered Declarative Interpretations Reconsidered

Three semantics have been proposed as the most promising candidates for a declarative interpretation for logic programs and pure Prolog programs: the least Herbrand model, the least term model, i.e. the C-semantics, and the S-semantics. Previous results show that a strictly increasing information ordering between these semantics exists for the class of all programs. In particular, the S-semanti...

Nemesis Reconsidered

The hypothesis of a companion object (Nemesis) orbiting the Sun was motivated by the claim of a terrestrial extinction periodicity, thought to be mediated by comet showers. The orbit of a distant companion to the Sun is expected to be perturbed by the Galactic tidal field and encounters with passing stars, which will induce variation in the period. We examine the evidence for the previously pro...